Kanade, Aditya: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2016 Symposium on Colossal Data Analysis and Networking (CDAN) - Indore, Madhya Pradesh, India (2016.3.18-2016.3.19)] 2016 Symposium on Colossal Data Analysis and Networking (CDAN) - Analysis of customer churn prediction in telecom industry using decision trees and logistic regression

Dalvi, Preeti K., Khandge, Siddhi K., Deomore, Ashish, Bankar, Aditya, Kanade, V. A.

Year:

2016

Language:

english

File:

PDF, 159 KB

english, 2016

2

Race detection for Android applications

Maiya, Pallavi, Kanade, Aditya, Majumdar, Rupak

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 468 KB

english, 2014

3

Deep Reinforcement Learning for Syntactic Error Repair in Student Programs

Gupta, Rahul, Kanade, Aditya, Shevade, Shirish

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 415 KB

english, 2019

4

Validation of GCC optimizers through trace generation

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Journal:

Software: Practice and Experience

Year:

2009

Language:

english

File:

PDF, 1.21 MB

english, 2009

5

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Semi-supervised verified feedback generation

Kaleeswaran, Shalini, Santhiar, Anirudh, Kanade, Aditya, Gulwani, Sumit

Year:

2016

Language:

english

File:

PDF, 407 KB

english, 2016

6

Structuring Optimizing Transformations and Proving Them Sound

Aditya Kanade, Amitabha Sanyal, Uday Khedker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 357 KB

english, 2007

7

[Advances in Computers] Volume 112 || Event-Based Concurrency: Applications, Abstractions, and Analyses

Year:

2019

Language:

english

File:

PDF, 515 KB

english, 2019

8

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Asynchrony-aware static analysis of Android applications

Mishra, Ashish, Kanade, Aditya, Srikant, Y. N.

Year:

2016

Language:

english

File:

PDF, 502 KB

english, 2016

9

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - P3: partitioned path profiling

Afraz, Mohammed, Saha, Diptikalyan, Kanade, Aditya

Year:

2015

Language:

english

File:

PDF, 528 KB

english, 2015

10

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data

Pal, Soham, Gupta, Yash, Shukla, Aditya, Kanade, Aditya, Shevade, Shirish, Ganapathy, Vinod

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 509 KB

2020

11

[ACM Press the 11th Working Conference - Hyderabad, India (2014.05.31-2014.06.01)] Proceedings of the 11th Working Conference on Mining Software Repositories - MSR 2014 - MUX: algorithm selection for software model checkers

Tulsian, Varun, Kanade, Aditya, Kumar, Rahul, Lal, Akash, Nori, Aditya V.

Year:

2014

Language:

english

File:

PDF, 524 KB

english, 2014

12

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Race detection for Android applications

Maiya, Pallavi, Kanade, Aditya, Majumdar, Rupak

Year:

2013

Language:

english

File:

PDF, 468 KB

english, 2013

13

Mining Unit Tests for Discovery and Migration of Math APIs

Santhiar, Anirudh, Pandita, Omesh, Kanade, Aditya

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

14

Non-deterministic transducer models of retransmission protocols over noisy channels

Thakkar, Jay, Kanade, Aditya

Journal:

Information Processing Letters

Year:

2015

Language:

english

File:

PDF, 313 KB

english, 2015

15

[ACM Press the 7th ACM international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08 - Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Alur, Rajeev, Kanade, Aditya, Ramesh, S., Shashidhar, K. C.

Year:

2008

Language:

english

File:

PDF, 408 KB

english, 2008

16

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - MintHint: automated synthesis of repair hints

Kaleeswaran, Shalini, Tulsian, Varun, Kanade, Aditya, Orso, Alessandro

Year:

2014

Language:

english

File:

PDF, 611 KB

english, 2014

17

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - Efficient computation of happens-before relation for event-driven programs

Maiya, Pallavi, Kanade, Aditya

Year:

2017

Language:

english

File:

PDF, 287 KB

english, 2017

18

[ACM Press the 25th International Symposium - Saarbrücken, Germany (2016.07.18-2016.07.20)] Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 - Efficient race detection in the presence of programmatic event loops

Santhiar, Anirudh, Kaleeswaran, Shalini, Kanade, Aditya

Year:

2016

Language:

english

File:

PDF, 480 KB

english, 2016

19

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Static deadlock detection for asynchronous C# programs

Santhiar, Anirudh, Kanade, Aditya

Year:

2017

Language:

english

File:

PDF, 474 KB

english, 2017

20

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Representation dependence testing using program inversion

Kanade, Aditya, Alur, Rajeev, Rajamani, Sriram, Ramanlingam, Ganesan

Year:

2010

Language:

english

File:

PDF, 552 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски